First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
581	Nitpicking C++ Concurrency Jasmin Christian Blanchette Tjark Weber Mark Batty Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-04-16 14:49:31 Logic in computer science Procedural programming languages Programming language semantics Predicate logic Formal methods Formal verification ALGOL 68 Denotational semantics First-order logic Theoretical computer science Computing Software engineering
582	Non-Omniscience, Probabilistic Inference, and Metamathematics Paul Christiano∗ June 22, 2014 Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-22 13:59:27 Metalogic Philosophical logic Model theory Deduction Entailment Probabilistic logic Axiom Function First-order logic Logic Mathematics Mathematical logic
583	Using ESOOP in Squeak Hesam Samimi VPRI Memo M-2009-012a Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:15:35 Cross-platform software Procedural programming languages Squeak First-order logic SQL C Computing Software engineering Computer programming
584	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematics Model theory Semantics First-order logic Linear temporal logic Function Atomic formula Quantification Predicate Logic Mathematical logic Predicate logic
585	Errata in Modern Logic M odern Logic contains a number of minor typos and slips in its first printing. Most of these are inconsequential or easily spotted by the reader, but some could be misleading, so I have separated Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 1998-09-07 19:26:38 First-order logic Predicate logic Modal logic Propositional calculus Logic Mathematical logic Model theory
586	Identity and Harmony revisited∗ Stephen Read University of St Andrews email: [removed] April 29, 2014 Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2014-04-29 03:59:14 Propositional calculus Logical connectives Boolean algebra Semantics Negation If and only if Natural deduction Disjunctive syllogism First-order logic Logic Mathematical logic Mathematics
587	Microsoft Word - Linnebo-Nicolas-Final.doc Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2012-10-19 03:57:15 Predicate logic Parts of speech Quantification Semantics Predicate Plural quantification First-order logic Second-order logic Grammatical number Logic Linguistics Mathematical logic
588	Appendix: Chapter 6, §7, second printing 7 Tableaux for monadic predicate logic In this section, we extend the semantic tableau test for validity in sentential logic (see §5 of Chapter Three) to monadic predicate logi Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 1997-09-24 14:52:28 Method of analytic tableaux First-order logic Quantification Monadic predicate calculus Interpretation Atomic formula Well-formed formula Monad FO Logic Mathematical logic Predicate logic
589	Pluralities and Sets∗ Øystein Linnebo Birkbeck, University of London 1 Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2013-07-31 14:44:40 Quantification Z notation Predicate logic Computability theory S Plural quantification First-order logic Arithmetical hierarchy Constructible universe Mathematical logic Logic Mathematics
590	Mechanical Verification of SAT Refutations with Extended Resolution Nathan Wetzler, Marijn J. H. Heule, and Warren A. Hunt Jr. ⋆ The University of Texas at Austin Abstract. We present a mechanically-verified proof che Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-07-31 07:11:51 Logic Unit propagation Resolution Conjunctive normal form Clause Literal ACL2 Logic programming First-order logic Theoretical computer science Mathematical logic Automated theorem proving

UPDATE